This patch fixes a bug where raise_softirq(SCHEDULE_SOFTIRQ) is called
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 21 Sep 2005 16:58:55 +0000 (16:58 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 21 Sep 2005 16:58:55 +0000 (16:58 +0000)
commite96f2b5ec14e47119b6b052154c62c2fc281a5b2
treef94147e6c6b20bb41bcff82ea6e85ddfce39fd43
parentfb542e56483f1f280f93781de7af3c983135653a
This patch fixes a bug where raise_softirq(SCHEDULE_SOFTIRQ) is called
upon a hlt instruction from a VMX guest, causing repeated VMExits when
the guest is idle. At the same time, it disables the monitor/mwait
feature as it's not feasible to implement for vcpu.

Signed-off-by: Xiaofeng Ling <xiaofeng.ling@intel.com>
Signed-off-by: Asit Mallick <asit.k.mallick@intel.com>
Signed-off-by: Jun Nakajima <jun.nakajima@intel.com>
xen/arch/x86/vmx.c
xen/arch/x86/vmx_intercept.c
xen/include/asm-x86/vmx_virpit.h